theorem prover in Chinese
Translation
Mobile
- 定理證明程序
- "theorem" in Chinese : n. 1.(能證明的)一般原理，公理，定律，法則。 2. ...
- "prover" in Chinese : n. 1.試驗裝置。 2.【印刷】打校樣的工人。 3.〔 ...
- "boyermoore theorem prover" in Chinese : 博耶穆爾定理證明程序
- "first-order theorem prover" in Chinese : 一階定理證明器
- "prover" in Chinese : n. 1.試驗裝置。 2.【印刷】打校樣的工人。 3.〔古語〕證明者。
- "ball prover" in Chinese : 球型校驗器
- "ballistic prover" in Chinese : 沖擊式流量校驗器
- "bell prover" in Chinese : 鐘形流量校準器; 鐘罩校準器; 鐘罩壓力計
- "belt prover" in Chinese : 帶運機
- "bucket prover" in Chinese : 間格斗式運輸器
- "gravimetric prover" in Chinese : 稱重式標準罐
- "heat prover" in Chinese : 廢氣和排出氣體的分析器; 廢氣和排出氣體的分析儀
- "in-line prover" in Chinese : 在線校正儀表
- "linen prover" in Chinese : 織物分析鏡
- "meter prover" in Chinese : 儀表校準儀
Related
"sonic nozzle flow prover" in Chinese, "theorems" in Chinese, "modularity theorem" in Chinese, "isomorphism theorem" in Chinese, "wieners theorem" in Chinese, "uniqueness theorem" in Chinese, "bound theorem" in Chinese, "cauchy theorem" in Chinese, "bayess theorem" in Chinese, "theorem of virtual displacement" in Chinese, "theorem of virtual work" in Chinese, "theorem on addition of probabilities" in Chinese, "theorem on embedding" in Chinese, "theorem on friends and strangers" in Chinese, "theorem proving" in Chinese, "theorem proving machine" in Chinese, "theorem proving representation" in Chinese, "theorem proving technique" in Chinese,
Neighbors
- "theorem of virtual displacement" in Chinese
- "theorem of virtual work" in Chinese
- "theorem on addition of probabilities" in Chinese
- "theorem on embedding" in Chinese
- "theorem on friends and strangers" in Chinese
- "theorem proving" in Chinese
- "theorem proving machine" in Chinese
- "theorem proving representation" in Chinese
- "theorem proving technique" in Chinese
What is the meaning of theorem prover in Chinese and how to say theorem prover in Chinese? theorem prover Chinese meaning, theorem prover的中文，theorem prover的中文，theorem prover的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.